Matteo A. Pangallo, Playwriting Playgoers in Shakespeare’s Theater

Matteo Baldoni , Jamal Bentahar

We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capturing the concept of acceptance qua member of an institution as the kind of attitude that agents are committed to when they are “functioning as members of an institution”. Acceptance logic can also be used to model judg...

120 BIBLIOGRAPHY Matteo Barberis ,

ture to dynamics: frequency tuning in the p53-mdm2 network i. logical approach. A novel protein with similarities to rb binding protein 2 compensates for loss of chk1 function and affects histone modification in fission yeast. Mathematical models of the fate of lymphoma b cells after antigen receptor ligation with specific antibodies. J. The topology of the regulatory interactions predicts the ...

Theater As a Teaching Procedure in Sociology

Łukasiewicz μ - calculus Matteo Mio

The paper explores properties of Łukasiewicz μ-calculus, a version of the quantitative/probabilistic modal μ-calculus containing both weak and strong conjunctions and disjunctions from Łukasiewicz (fuzzy) logic. We show that this logic encodes the well-known probabilistic temporal logic PCTL. And we give a model-checking algorithm for computing the rational denotational value of a formula at an...

Information Theater versus Information Reenery Where Intelligence Resides Information Theater

Intelligent behavior of a system is often equated with its ability to perform logical or heuristic inferences. Intelligence is thought to reside in the ability to reene the knowledge base, and thus in the articulation of \new" facts beyond the set of assertions explicitly represented. The fragility and complexity of the inference mechanisms required for this invite attempts at imbuing other com...